منابع مشابه
Finite state intensional semantics
Suppose possible worlds are strings, rather than physically structured worlds like ours. Then the proposition corresponding to a sentence or a formula in logical language is a set of strings; an epistemic acquaintance relation is a relation between strings; and in a relational construction of partition semantics for questions, a question meaning is a relation between strings. If discourse refer...
متن کاملIntensional verbs in event semantics
ly, ‘as such’, following ‘Superman’ in ( 2 a), that is, if ( 2 a) means ( 3 ) Lois believes that Superman, as such, can fly. Here ‘such’ refers not to the name ‘Superman’, but by a kind of deferred ostension, through the name to something associated with it. Of course, there is no need to deny that ( 2 a) can also be understood in a way that legitimizes substitution, or in the standard jargon, ...
متن کاملCircuit Semantics and Intensional Expressivity
We introduce a new denotational semantics for functional programming languages and use it to reason about intensional aspects of programs. Circuit semantics associates a gate with each basic construct of the language, and takes the meaning of a program to be a circuit. The dimensions of the circuit enable reasoning about running time and work required for execution. We use circuit semantics to ...
متن کاملAn intensional semantics for elementary program transformations
This paper is a contribution to the formal study and analysis of vernacular forms of program derivation. Specifically, in this paper, our vernacular derivations are elementary program transformations over the natural numbers. We provide an intensional semantics for these transformations within the derivations of the Elementary theory of Operations and Numbers, EON, [Bee85]. This semantics is in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Non-Classical Logics
سال: 2018
ISSN: 1166-3081,1958-5780
DOI: 10.1080/11663081.2018.1525207